Zermelo set theory - PDFSEARCH.IO - Document Search Engine

Zermelo set theory
Results: 108

#	Item
11	100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf Cantor conceived set theory in a sequence of six papers published in the Mathematische Annalen during the five year period Add to Reading List Source URL: people.kth.se Language: English - Date: 2006-02-08 12:22:57
12	Cut elimination for Zermelo set theory Gilles Dowek1 and Alexandre Miquel2 1 ´ Ecole polytechnique and INRIA ´ LIX, Ecole polytechnique, 91128 Palaiseau Cedex, France Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:47
13	VOL. 50, 1963 MATHEMATICS: P. J. COHEN 1143 Add to Reading List Source URL: tobymeadows.files.wordpress.com Language: English - Date: 2010-06-14 22:03:08 Forcing Ordinal number Constructible universe Function Transfinite induction Zermelo–Fraenkel set theory Continuous function Axiom of choice Axiom schema of replacement Mathematical logic Mathematics Set theory
14	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic
15	PARRHESIA NUMBER 5 • 2008 • 32-47 Alain Badiou: Problematics and the Different Senses of Being in Being and Event1 Add to Reading List Source URL: www.parrhesiajournal.org Language: English - Date: 2008-11-10 03:41:39 Anti-imperialism Maoism Knowledge representation Empty set Ontology Philosophy of mathematics Infinity Set theory Zermelo–Fraenkel set theory Philosophy Marxist theorists Alain Badiou
16	Introduction Sometimes it happens in mathematics that, investigating some branch, some area of mathematical objects, we are forced to introduce new kind of objects which were not originally presumed to exist. There is a Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:49:59 Logic Model theory Infinity Real closed field Ultraproduct Zermelo–Fraenkel set theory Internal set theory Set theory Foundations of mathematics Mathematics Non-standard analysis Mathematical logic
17	CONTENTS 1. Nonstandard analysis on the real line 1. Introduction to nonstandard real line 2. Development of nonstandard analysis 1 Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Abstract algebra Ultraproduct Internal set Set theory Real number Parametrization Zermelo–Fraenkel set theory Criticism of non-standard analysis Non-standard analysis Mathematics Mathematical logic
18	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
19	Preface It is a pleasure for me to have the opportunity to write a preface for this book on the foundations of nonstandard analysis by Vladimir Kanovei. It may seem that everything relevant has been said concerning this Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:07 Philosophy of mathematics Infinity Z notation Zermelo–Fraenkel set theory Internal set theory Set theory Forcing Implementation of mathematics in set theory Mathematical logic Mathematics Non-standard analysis
20	Characterising Normal Forms for Informational Independence L.C. van der Gaag & J.-J.Ch. Meyer Utrecht University, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherlands e-mail: flinda, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:09 Mathematical analysis Independence Conditional independence Function Constructible universe Joint probability distribution Zermelo–Fraenkel set theory Morse–Kelley set theory Probability theory Statistical dependence Mathematics

UPDATE